A Hardware Implementation of an Expert System Shell Based on Belief Revision Concepts
نویسندگان
چکیده
We propose an Expert System Shell based on belief revision concepts who maintains the consistency of the knowledge base. In the first phase of this expert system shell we translate a classical rule-based system in an equivalent network representation where nodes are facts, and links stand for relationships. In the second phase we propagate any change in the uncertainty measures throughout the whole network. This expert system shell was first implemented in software. The initial knowledge base is given in a text file, as a set of rules. The text file is parsed and a belief network is generated, having in its nodes the facts (propositions), linked by edges which contain the main operators: AND, OR, NOT, AGGREGATE and DET. The network also contains the ONE-OF operator. This paper continues a previous research done by Cenan in [2], extending it to a hardware implementation. The hardware implementation achieves much better performance by exploiting the parallelism of triggering all the rules in the same time. The system was implemented and simulated on a XC4005E FPGA device from Xilinx Corporation. The main advantage obtained is an increased speed of the implementation, due to the high level of parallelism achieved and to the intrinsic hardware features.
منابع مشابه
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which mean...
متن کاملCausal Probabilistic Networks with Both Discrete and Continuous Variables D Causal Probabilistic Networks with Both Discrete and Continuous Variables
An extension of the expert system shell HUGIN to include continuous variables, in the form of linear additive normally distributed variables, is presented. The theoretical foundation of the method was developed by Lauritzen (1992), whereas this report primarily focus on implementation aspects. The approach has several advantages over purely discrete systems: It enables a more natural model of t...
متن کاملAutomating the librarian: a fundamental approach using belief revision
This paper describes a current research project investigating belief revision in intelligent systems by modelling the librarian in interaction with a literature-seeking user. The work is designed both to test a theory of agent behaviour based on belief revision proposed by Galliers, and to evaluate a model of the librarian developed by Belkin, Brooks and Daniels, through computational implement...
متن کاملAutomating the Librarian: Belief Revision as a Base for System Action and Communication with the User
This paper describes a current research project investigating belief revision in intelligent systems by modelling the librarian in interaction with a literature-seeking user. The work is designed both to test a theory of agent behaviour based on belief revision proposed by Galliers, and to evaluate a model of the librarian developed by Belkin, Brooks and Daniels, through computational implement...
متن کاملDistributed Belief Revision
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which mean...
متن کامل